منابع مشابه
My Joint Work with Richard Rado
I first became aware of Richard Rado's existence in 1933 when his important paper Studien zur Kombinatorik appeared. I thought a great deal about the many fascinating and deep unsolved problems stated in this paper but I never succeeded to obtain any significant results here and since I have to report here about our joint work I will mostly ignore these questions. Our joint work extends to more...
متن کاملDescription of My Previous Work
Today, advanced technological products often employ information and communication technology to enhance their functionality and quality. Therefore, nowadays software plays an important role in the control of many technical systems such as electrical and mechanical devices, technical processes in the chemical industry, or a modern automobile. In the future, software-intensive systems are in addi...
متن کاملThemes in My Philosophical Work
This paper is an overview of my philosophical work. It follows closely the structure of the handout I used as the basis for a talk on this topic at the 2000 meeting of the Austro-Slovene Philosophical Association. The section-headings mention major themes, and various key concepts are indicated by boldface terms in the text. I invoked the notion of supervenience in my doctoral dissertation, Mic...
متن کاملMy Current Work on CertiKOS
My research goal is to make critical software systems truly reliable and secure through formal verification. As the backbone of modern software systems, operating system (OS) kernels have great impacts on the reliability and security of today’s computing hosts. OS kernels, however, are complicated, highly concurrent, and prone to bugs. For the past several years, my research has focused on inve...
متن کاملOn some Aspects of my Work with Gabriel Dirac
I must have known Dirac when he was a child in the 1930's, but I really became aware of his existence when I visited England for the first time after the war in February and March 1949 . We met in London and he told me of his work on chromatic graphs . Dirac defined a k-chromatic graph to be vertex critical if the omission of any vertex decreases the chromatic number and edge critical if the re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of The Institute of Image Information and Television Engineers
سال: 2012
ISSN: 1342-6907,1881-6908
DOI: 10.3169/itej.66.57